Eléments de l'association
|  |
List of bibliographic references
Number of relevant bibliographic references: 14.| Ident. | Authors (with country if any) | Title |
|---|---|---|
| 000065 | Walid Belkhir [France] ; Nicolas Ratier [France] ; Duy Duc Nguyen [France] ; Michel Lenczner [France] | Closed combination of context-embedding iterative strategies |
| 000231 | Tushant Jha [France] ; Walid Belkhir [France] ; Yannick Chevalier [France] ; Michael Rusinowitch [France] | Expressive Equivalence and Succinctness of Parametrized Automata with respect to Finite Memory Automata |
| 000243 | Walid Belkhir [France] ; Nicolas Ratier [France] ; Duy Duc Nguyen [France] ; Bin Yang [France] ; Michel Lenczner [France] ; Frédéric Zamkotsian [France] ; Horatiu Cirstea [France] | Towards an automatic tool for multi-scale model derivation |
| 000319 | Walid Belkhir [France] ; Nicolas Ratier [France] ; Duy Duc Nguyen [France] ; Bin Yang [France] ; Michel Lenczner [France] ; Frédéric Zamkotsian [France] ; Horatiu Cirstea [France] | Towards an automatic tool for multi-scale model derivation illustrated with a micro-mirror array |
| 000420 | Walid Belkhir [France] ; Yannick Chevalier [France] ; Michael Rusinowitch [France] | Parametrized automata simulation and application to service composition |
| 000885 | Walid Belkhir [France] ; Alain Giorgetti [France] ; Michel Lenczner [France] | A Symbolic Transformation Language and its Application to a Multiscale Method |
| 000A04 | Walid Belkhir [France] ; Gisela Rossi [France] ; Michael Rusinowitch [France] | A Parametrized Propositional Dynamic Logic with Application to Service Synthesis |
| 000D08 | Bin Yang [France] ; Walid Belkhir [France] ; Michel Lenczner [France] | Computer-Aided Derivation of Multi-scale Models: A Rewriting Framework |
| 000F63 | Walid Belkhir [France] ; Yannick Chevalier [France] ; Michael Rusinowitch [France] | Guarded Variable Automata over Infinite Alphabets |
| 001015 | Walid Belkhir [France] ; Yannick Chevalier [France] ; Michael Rusinowitch [France] | Fresh-Variable Automata for Service Composition |
| 002333 | Walid Belkhir [France] ; Alain Giorgetti [France] | Lazy AC-Pattern Matching for Rewriting |
| 002335 | Walid Belkhir [France] ; Alain Giorgetti [France] | Lazy Rewriting Modulo Associativity and Commutativity |
| 002477 | Walid Belkhir [France] ; Alain Giorgetti [France] ; Michel Lenczner [France] | Rewriting and Symbolic Transformations for Multiscale Methods |
| 003D38 | Walid Belkhir [France] | Algebra and Combinatorics of Parity Games |
| This area was generated with Dilib version V0.6.33. |  |